1. package body Sync_Type is 
  2.  
  3.    protected body Protect is 
  4.  
  5.       procedure Set (E : Element) is 
  6.  
  7.       begin 
  8.          Value := E; 
  9.       end Set; 
  10.  
  11.       function Get return Element is (Value); 
  12.  
  13.    end Protect; 
  14.  
  15. end Sync_Type;